Sfoglia per Serie CEUR WORKSHOP PROCEEDINGS
Debugging of answer set programs using paracoherent reasoning
2019-01-01 Cuteri, B.; Dodaro, C.; Ricca, F.
Declarative Mining of Business Processes via ASP
2022-01-01 Ielo, A.; Pontieri, L.; Ricca, F.
Decomposing and Pruning Primary Key Violations from Large Data Sets
2017-01-01 Manna, M.; Ricca, F.; Terracina, G.
Decomposing and pruning primary key violations from large data sets
2017-01-01 Manna, Marco; Ricca, Francesco; Terracina, Giorgio
DEGAIN as tool for Missing Data Imputation
2023-01-01 Shahbazian, R.; Trubitsyna, I.
Detecting and Explaining Exceptional Values in Categorical Data
2020-01-01 Angiulli, F.; Fassetti, F.; Palopoli, L.; Serrao, C.
Domain-agnostic Procedural Content Generation Can Be Done Declaratively
2023-01-01 Angilica, D.; Germano, S.; Ianni, G.
Dyadic Existential Rules
2022-01-01 Gottlob, G.; Manna, M.; Marte, C.
Educational games for cultural heritage
2019-01-01 Vocaturo, E.; Zumpano, E.; Caroprese, L.; Pagliuso, S. M.; Lappano, D.
Empowering ASPQ to win in QBFEval 2018
2019-01-01 Cuteri, B.; Dodaro, C.; Ricca, F.
Exotic compilers as a malware evasion technique
2019-01-01 Ianni, M.; Masciari, E.; Sacca, D.
Explaining ASP-based Operating Room Schedules
2021-01-01 Bertolucci, Riccardo; Dodaro, Carmine; Galatà, Giuseppe; Maratea, Marco; Porro, Ivan; Ricca, Francesco
Explanations for Inconsistency-Tolerant Query Answering under Existential Rules
2022-01-01 Lukasiewicz, T.; Malizia, E.; Molinaro, C.
Explanations for Negative Query Answers under Existential Rules
2023-01-01 Ceylan, I. I.; Lukasiewicz, T.; Malizia, E.; Molinaro, C.; Vaicenavicius, A.
Exploring domain and task adaptation of LamBERTa models for article retrieval on the Italian Civil Code
2023-01-01 Simeri, A.; Tagarelli, A.
An Extension of Datalog for Modelling and Solving Complex Combinatorial Problems
2019-01-01 Ricca, Francesco
First Steps towards Reasoning on Big Data with DLV
2018-01-01 Leone, Nicola; Perri, Simona; Ricca, Francesco; Veltri, Pierfrancesco; Zangari, Jessica
A Formal Comparison between Datalog-based Languages for Stream Reasoning
2022-01-01 Leone, N.; Manna, M.; Morelli, M. C.; Perri, S.
From Node Embeddings to Triple Embeddings
2022-01-01 Fionda, Valeria; Pirro', Giuseppe
How Many Inconsistencies Are In Your Database?
2023-01-01 Parisi, F.; Grant, J.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Debugging of answer set programs using paracoherent reasoning | 1-gen-2019 | Cuteri, B.; Dodaro, C.; Ricca, F. | |
Declarative Mining of Business Processes via ASP | 1-gen-2022 | Ielo, A.; Pontieri, L.; Ricca, F. | |
Decomposing and Pruning Primary Key Violations from Large Data Sets | 1-gen-2017 | Manna, M.; Ricca, F.; Terracina, G. | |
Decomposing and pruning primary key violations from large data sets | 1-gen-2017 | Manna, Marco; Ricca, Francesco; Terracina, Giorgio | |
DEGAIN as tool for Missing Data Imputation | 1-gen-2023 | Shahbazian, R.; Trubitsyna, I. | |
Detecting and Explaining Exceptional Values in Categorical Data | 1-gen-2020 | Angiulli, F.; Fassetti, F.; Palopoli, L.; Serrao, C. | |
Domain-agnostic Procedural Content Generation Can Be Done Declaratively | 1-gen-2023 | Angilica, D.; Germano, S.; Ianni, G. | |
Dyadic Existential Rules | 1-gen-2022 | Gottlob, G.; Manna, M.; Marte, C. | |
Educational games for cultural heritage | 1-gen-2019 | Vocaturo, E.; Zumpano, E.; Caroprese, L.; Pagliuso, S. M.; Lappano, D. | |
Empowering ASPQ to win in QBFEval 2018 | 1-gen-2019 | Cuteri, B.; Dodaro, C.; Ricca, F. | |
Exotic compilers as a malware evasion technique | 1-gen-2019 | Ianni, M.; Masciari, E.; Sacca, D. | |
Explaining ASP-based Operating Room Schedules | 1-gen-2021 | Bertolucci, Riccardo; Dodaro, Carmine; Galatà, Giuseppe; Maratea, Marco; Porro, Ivan; Ricca, Francesco | |
Explanations for Inconsistency-Tolerant Query Answering under Existential Rules | 1-gen-2022 | Lukasiewicz, T.; Malizia, E.; Molinaro, C. | |
Explanations for Negative Query Answers under Existential Rules | 1-gen-2023 | Ceylan, I. I.; Lukasiewicz, T.; Malizia, E.; Molinaro, C.; Vaicenavicius, A. | |
Exploring domain and task adaptation of LamBERTa models for article retrieval on the Italian Civil Code | 1-gen-2023 | Simeri, A.; Tagarelli, A. | |
An Extension of Datalog for Modelling and Solving Complex Combinatorial Problems | 1-gen-2019 | Ricca, Francesco | |
First Steps towards Reasoning on Big Data with DLV | 1-gen-2018 | Leone, Nicola; Perri, Simona; Ricca, Francesco; Veltri, Pierfrancesco; Zangari, Jessica | |
A Formal Comparison between Datalog-based Languages for Stream Reasoning | 1-gen-2022 | Leone, N.; Manna, M.; Morelli, M. C.; Perri, S. | |
From Node Embeddings to Triple Embeddings | 1-gen-2022 | Fionda, Valeria; Pirro', Giuseppe | |
How Many Inconsistencies Are In Your Database? | 1-gen-2023 | Parisi, F.; Grant, J. |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile